int xc_rrobin_global_get(int xc_handle, u64 *slice);
+ int xc_sedf_domain_set(int xc_handle,
+ u32 domid,
+ u64 period, u64 slice);
+
+ int xc_sedf_domain_get(int xc_handle,
+ u32 domid,
+ u64* period, u64 *slice);
+
typedef evtchn_status_t xc_evtchn_status_t;
+
+/*\
+ * EVENT CHANNEL FUNCTIONS
+\*/
+
+/**
+ * This function allocates an unbound port. Ports are named endpoints used for
+ * interdomain communication. This function is most useful in opening a
+ * well-known port within a domain to receive events on.
+ *
+ * @parm xc_handle a handle to an open hypervisor interface
+ * @parm dom the ID of the domain. This maybe DOMID_SELF
+ * @parm port a pointer to a port. This is an in/out parameter. If *port is
+ * 0, then a new port will be assigned, if port is > 0 then that
+ * port is allocated if the port is unallocated.
+ * @return 0 on success, -1 on failure
+ */
int xc_evtchn_alloc_unbound(int xc_handle,
u32 dom,
int *port);